Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 57, 58, 59, 60, 61, 62, 96, 97, 98, 103, 104, 105, 106, 107, 109, 110, 111, 112, 113, 114, 115 }

B grade: { }

C grade: { 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 99, 100, 101, 102 }

F grade: { 108}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 16, 17, 18, 19, 25, 26, 31, 37, 38, 39, 43, 44, 45, 46, 48, 49, 50, 51, 52, 53, 66, 67, 68, 73, 77, 78, 79, 80, 81, 83, 85, 86, 87, 91, 92, 94, 95, 96, 97, 100, 103, 107, 110, 112, 115 }

B grade: { 13, 14, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 40, 41, 42, 47, 54, 57, 58, 59, 60, 61, 62, 63, 64, 65, 69, 70, 71, 72, 74, 75, 76, 82, 84, 88, 93, 98, 99, 101, 102 }

C grade: { 89, 90 }

F grade: { 55, 56, 104, 105, 106, 108, 109, 111, 113, 114 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 9, 10, 11, 16, 17, 18, 103, 107, 110, 112, 115

B grade: { }

C grade: { }

F grade: { 5, 6, 7, 8, 12, 13, 14, 15, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 104, 105, 106, 108, 109, 111, 113, 114 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 57, 58, 59, 110, 115 }

B grade: { 8, 15, 22, 60, 61, 98 }

C grade: { }

F grade: { 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 111, 112, 113, 114 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 6, 8, 9, 10, 11, 16, 17, 18, 97, 103, 107, 110, 112, 115 }

B grade: { 5, 7, 12, 13, 14, 15, 19, 20, 21 }

C grade: { }

F grade: { 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 98, 99, 100, 101, 102, 104, 105, 106, 108, 109, 111, 113, 114 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 57, 58, 59, 60, 61, 103, 107, 110, 112, 115 }

B grade: { 63, 98 }

C grade: { }

F grade: { 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 62, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 99, 100, 101, 102, 104, 105, 106, 108, 109, 111, 113, 114 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 172 176 236 531 236 284
normalized size 1 1. 1. 1.02 1.37 3.09 1.37 1.65
time (sec) N/A 0.192 0.087 0.002 0.986 1.25 0.089 1.21


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 130 135 181 398 173 217
normalized size 1 1. 1. 1.04 1.39 3.06 1.33 1.67
time (sec) N/A 0.135 0.066 0.001 0.996 1.247 0.081 1.16


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 96 94 126 282 121 154
normalized size 1 1. 1.02 1. 1.34 3. 1.29 1.64
time (sec) N/A 0.083 0.036 0. 0.99 1.245 0.072 1.216


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 53 70 163 63 89
normalized size 1 1. 1. 0.95 1.25 2.91 1.12 1.59
time (sec) N/A 0.037 0.012 0. 1.026 1.228 0.063 1.15


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 72 119 0 423 206 108
normalized size 1 1. 0.89 1.47 0. 5.22 2.54 1.33
time (sec) N/A 0.08 0.053 0.006 0. 1.486 0.837 1.196


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 95 163 0 660 190 128
normalized size 1 1. 0.88 1.51 0. 6.11 1.76 1.19
time (sec) N/A 0.085 0.067 0.008 0. 1.465 1.583 1.147


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 130 175 0 1002 246 182
normalized size 1 1. 1. 1.35 0. 7.71 1.89 1.4
time (sec) N/A 0.108 0.08 0.009 0. 1.506 3.642 1.158


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 171 210 0 1355 313 248
normalized size 1 1. 1. 1.23 0. 7.92 1.83 1.45
time (sec) N/A 0.163 0.102 0.01 0. 1.559 8.424 1.2


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 226 237 319 676 304 382
normalized size 1 1. 1. 1.05 1.41 2.99 1.35 1.69
time (sec) N/A 0.214 0.081 0.001 1.036 1.258 0.098 1.176


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 158 169 227 479 216 273
normalized size 1 1. 1. 1.07 1.44 3.03 1.37 1.73
time (sec) N/A 0.167 0.06 0. 1.015 1.276 0.087 1.145


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 96 101 135 282 121 162
normalized size 1 1. 1.02 1.07 1.44 3. 1.29 1.72
time (sec) N/A 0.081 0.029 0.002 1.016 1.262 0.074 1.216


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 115 243 0 775 343 240
normalized size 1 1. 0.81 1.71 0. 5.46 2.42 1.69
time (sec) N/A 0.208 0.064 0.004 0. 1.481 1.334 1.173


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 134 299 0 1150 479 263
normalized size 1 1. 0.82 1.82 0. 7.01 2.92 1.6
time (sec) N/A 0.232 0.093 0.009 0. 1.591 3.647 1.161


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 207 207 183 397 0 1613 400 321
normalized size 1 1. 0.88 1.92 0. 7.79 1.93 1.55
time (sec) N/A 0.239 0.127 0.011 0. 1.586 18.923 1.2


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 240 240 242 360 0 2117 486 420
normalized size 1 1. 1.01 1.5 0. 8.82 2.02 1.75
time (sec) N/A 0.28 0.16 0.01 0. 1.606 96.292 1.158


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 310 310 310 339 440 938 423 541
normalized size 1 1. 1. 1.09 1.42 3.03 1.36 1.75
time (sec) N/A 0.387 0.114 0. 0.986 1.276 0.113 1.142


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 226 244 323 676 304 390
normalized size 1 1. 1. 1.08 1.43 2.99 1.35 1.73
time (sec) N/A 0.216 0.083 0. 1.011 1.247 0.098 1.16


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 130 149 197 398 173 234
normalized size 1 1. 1. 1.15 1.52 3.06 1.33 1.8
time (sec) N/A 0.135 0.05 0.002 0.996 1.238 0.085 1.139


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 179 401 0 1216 508 414
normalized size 1 1. 0.79 1.77 0. 5.36 2.24 1.82
time (sec) N/A 0.371 0.093 0.005 0. 1.551 2.001 1.148


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 242 242 176 475 0 1701 654 433
normalized size 1 1. 0.73 1.96 0. 7.03 2.7 1.79
time (sec) N/A 0.399 0.128 0.013 0. 1.552 7.281 1.22


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 219 589 0 2291 862 501
normalized size 1 1. 0.75 2.02 0. 7.87 2.96 1.72
time (sec) N/A 0.416 0.157 0.013 0. 1.646 59.853 1.187


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 348 348 295 735 0 2913 0 603
normalized size 1 1. 0.85 2.11 0. 8.37 0. 1.73
time (sec) N/A 0.45 0.21 0.013 0. 1.711 0. 1.208


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 544 544 373 1332 0 0 0 0
normalized size 1 1. 0.69 2.45 0. 0. 0. 0.
time (sec) N/A 0.681 1.135 0.039 0. 0. 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 381 381 267 865 0 0 0 0
normalized size 1 1. 0.7 2.27 0. 0. 0. 0.
time (sec) N/A 0.378 0.752 0.015 0. 0. 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 283 283 212 394 0 0 0 0
normalized size 1 1. 0.75 1.39 0. 0. 0. 0.
time (sec) N/A 0.181 0.395 0.017 0. 0. 0. 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 271 271 192 328 0 0 0 0
normalized size 1 1. 0.71 1.21 0. 0. 0. 0.
time (sec) N/A 0.171 0.349 0.038 0. 0. 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 274 274 297 1236 0 0 0 0
normalized size 1 1. 1.08 4.51 0. 0. 0. 0.
time (sec) N/A 0.205 0.973 0.042 0. 0. 0. 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 385 385 379 2856 0 0 0 0
normalized size 1 1. 0.98 7.42 0. 0. 0. 0.
time (sec) N/A 0.38 1.269 0.055 0. 0. 0. 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 543 543 372 1332 0 0 0 0
normalized size 1 1. 0.69 2.45 0. 0. 0. 0.
time (sec) N/A 0.645 1.141 0.016 0. 0. 0. 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 400 400 275 870 0 0 0 0
normalized size 1 1. 0.69 2.17 0. 0. 0. 0.
time (sec) N/A 0.439 0.844 0.018 0. 0. 0. 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 369 369 248 671 0 0 0 0
normalized size 1 1. 0.67 1.82 0. 0. 0. 0.
time (sec) N/A 0.4 0.706 0.025 0. 0. 0. 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 373 373 296 1231 0 0 0 0
normalized size 1 1. 0.79 3.3 0. 0. 0. 0.
time (sec) N/A 0.394 1.002 0.028 0. 0. 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 376 376 382 2860 0 0 0 0
normalized size 1 1. 1.02 7.61 0. 0. 0. 0.
time (sec) N/A 0.423 1.3 0.037 0. 0. 0. 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 531 531 545 5113 0 0 0 0
normalized size 1 1. 1.03 9.63 0. 0. 0. 0.
time (sec) N/A 0.615 1.835 0.069 0. 0. 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 551 551 386 1386 0 0 0 0
normalized size 1 1. 0.7 2.52 0. 0. 0. 0.
time (sec) N/A 0.628 1.18 0.025 0. 0. 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 396 396 279 924 0 0 0 0
normalized size 1 1. 0.7 2.33 0. 0. 0. 0.
time (sec) N/A 0.448 0.823 0.02 0. 0. 0. 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 282 282 215 501 0 0 0 0
normalized size 1 1. 0.76 1.78 0. 0. 0. 0.
time (sec) N/A 0.184 0.424 0.016 0. 0. 0. 0.


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 131 158 0 0 0 0
normalized size 1 1. 0.64 0.77 0. 0. 0. 0.
time (sec) N/A 0.102 0.161 0.018 0. 0. 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 206 334 0 0 0 0
normalized size 1 1. 0.99 1.6 0. 0. 0. 0.
time (sec) N/A 0.085 0.637 0.024 0. 0. 0. 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 284 284 302 1352 0 0 0 0
normalized size 1 1. 1.06 4.76 0. 0. 0. 0.
time (sec) N/A 0.211 1.082 0.031 0. 0. 0. 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 401 401 393 3039 0 0 0 0
normalized size 1 1. 0.98 7.58 0. 0. 0. 0.
time (sec) N/A 0.413 1.291 0.042 0. 0. 0. 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 501 501 369 1169 0 0 0 0
normalized size 1 1. 0.74 2.33 0. 0. 0. 0.
time (sec) N/A 0.599 1.161 0.046 0. 0. 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 358 358 260 750 0 0 0 0
normalized size 1 1. 0.73 2.09 0. 0. 0. 0.
time (sec) N/A 0.363 0.765 0.025 0. 0. 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 258 208 393 0 0 0 0
normalized size 1 1. 0.81 1.52 0. 0. 0. 0.
time (sec) N/A 0.162 0.382 0.023 0. 0. 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 212 349 0 0 0 0
normalized size 1 1. 1.01 1.67 0. 0. 0. 0.
time (sec) N/A 0.085 0.374 0.025 0. 0. 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 272 272 262 581 0 0 0 0
normalized size 1 1. 0.96 2.14 0. 0. 0. 0.
time (sec) N/A 0.221 0.72 0.029 0. 0. 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 375 375 428 1742 0 0 0 0
normalized size 1 1. 1.14 4.65 0. 0. 0. 0.
time (sec) N/A 0.392 2.065 0.038 0. 0. 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 212 349 0 0 0 0
normalized size 1 1. 1.01 1.67 0. 0. 0. 0.
time (sec) N/A 0.086 0.409 0.036 0. 0. 0. 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 220 359 0 0 0 0
normalized size 1 1. 0.89 1.45 0. 0. 0. 0.
time (sec) N/A 0.24 0.694 0.048 0. 0. 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 213 345 0 0 0 0
normalized size 1 1. 0.9 1.46 0. 0. 0. 0.
time (sec) N/A 0.218 0.432 0.042 0. 0. 0. 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 242 242 221 354 0 0 0 0
normalized size 1 1. 0.91 1.46 0. 0. 0. 0.
time (sec) N/A 0.237 0.466 0.048 0. 0. 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 81 105 0 0 0 0
normalized size 1 1. 0.42 0.55 0. 0. 0. 0.
time (sec) N/A 0.096 0.142 0.037 0. 0. 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 262 262 142 367 0 0 0 0
normalized size 1 1. 0.54 1.4 0. 0. 0. 0.
time (sec) N/A 0.168 0.202 0.02 0. 0. 0. 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 356 356 186 775 0 0 0 0
normalized size 1 1. 0.52 2.18 0. 0. 0. 0.
time (sec) N/A 0.322 0.324 0.023 0. 0. 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 104 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.204 0.383 0.236 0. 0. 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 526 526 203 0 0 0 0 0
normalized size 1 1. 0.39 0. 0. 0. 0. 0.
time (sec) N/A 0.63 0.402 0.154 0. 0. 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 124 1942 0 1701 0 227
normalized size 1 1. 0.97 15.17 0. 13.29 0. 1.77
time (sec) N/A 0.142 0.245 0.042 0. 7.519 0. 1.472


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 265 1541 0 3518 0 392
normalized size 1 1. 0.87 5.07 0. 11.57 0. 1.29
time (sec) N/A 0.299 0.343 0.039 0. 43.415 0. 1.755


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 150 1052 0 2346 0 248
normalized size 1 1. 0.9 6.34 0. 14.13 0. 1.49
time (sec) N/A 0.105 0.306 0.015 0. 11.074 0. 1.65


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 88 646 0 1596 0 159
normalized size 1 1. 0.97 7.1 0. 17.54 0. 1.75
time (sec) N/A 0.048 0.11 0.009 0. 7.24 0. 1.665


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 49 306 0 513 0 100
normalized size 1 1. 1. 6.24 0. 10.47 0. 2.04
time (sec) N/A 0.02 0.011 0.009 0. 1.705 0. 1.542


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 113 782 0 0 0 0
normalized size 1 1. 0.93 6.41 0. 0. 0. 0.
time (sec) N/A 0.111 0.177 0.037 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 203 203 531 1865 0 0 0 647
normalized size 1 1. 2.62 9.19 0. 0. 0. 3.19
time (sec) N/A 0.265 2.558 0.056 0. 0. 0. 16.932


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 608 776 456 1891 0 0 0 0
normalized size 1 1.28 0.75 3.11 0. 0. 0. 0.
time (sec) N/A 0.763 2.638 0.036 0. 0. 0. 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 400 400 346 1059 0 0 0 0
normalized size 1 1. 0.86 2.65 0. 0. 0. 0.
time (sec) N/A 0.289 1.49 0.015 0. 0. 0. 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 321 321 184 340 0 0 0 0
normalized size 1 1. 0.57 1.06 0. 0. 0. 0.
time (sec) N/A 0.191 0.366 0.013 0. 0. 0. 0.


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 143 191 0 0 0 0
normalized size 1 1. 1.4 1.87 0. 0. 0. 0.
time (sec) N/A 0.034 0.231 0.017 0. 0. 0. 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 347 390 0 0 0 0
normalized size 1 1. 1.66 1.87 0. 0. 0. 0.
time (sec) N/A 0.105 0.773 0.024 0. 0. 0. 0.


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 401 401 427 2068 0 0 0 0
normalized size 1 1. 1.06 5.16 0. 0. 0. 0.
time (sec) N/A 0.367 3.437 0.036 0. 0. 0. 0.


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 630 630 584 6245 0 0 0 0
normalized size 1 1. 0.93 9.91 0. 0. 0. 0.
time (sec) N/A 0.719 3.079 0.063 0. 0. 0. 0.


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 659 784 445 1939 0 0 0 0
normalized size 1 1.19 0.68 2.94 0. 0. 0. 0.
time (sec) N/A 0.753 2.495 0.023 0. 0. 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 403 403 739 1028 0 0 0 0
normalized size 1 1. 1.83 2.55 0. 0. 0. 0.
time (sec) N/A 0.304 1.104 0.017 0. 0. 0. 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 328 328 184 300 0 0 0 0
normalized size 1 1. 0.56 0.91 0. 0. 0. 0.
time (sec) N/A 0.191 0.356 0.018 0. 0. 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 492 630 0 0 0 0
normalized size 1 1. 2.2 2.81 0. 0. 0. 0.
time (sec) N/A 0.112 1.277 0.03 0. 0. 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 391 391 999 1876 0 0 0 0
normalized size 1 1. 2.55 4.8 0. 0. 0. 0.
time (sec) N/A 0.404 1.813 0.036 0. 0. 0. 0.


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 639 639 570 6211 0 0 0 0
normalized size 1 1. 0.89 9.72 0. 0. 0. 0.
time (sec) N/A 0.779 2.891 0.062 0. 0. 0. 0.


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 621 621 350 988 0 0 0 0
normalized size 1 1. 0.56 1.59 0. 0. 0. 0.
time (sec) N/A 0.463 1.389 0.026 0. 0. 0. 0.


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 319 319 197 341 0 0 0 0
normalized size 1 1. 0.62 1.07 0. 0. 0. 0.
time (sec) N/A 0.176 0.371 0.021 0. 0. 0. 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 143 191 0 0 0 0
normalized size 1 1. 1.4 1.87 0. 0. 0. 0.
time (sec) N/A 0.033 0.23 0.018 0. 0. 0. 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 101 118 0 0 0 0
normalized size 1 1. 1.01 1.18 0. 0. 0. 0.
time (sec) N/A 0.121 0.221 0.021 0. 0. 0. 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 344 344 365 413 0 0 0 0
normalized size 1 1. 1.06 1.2 0. 0. 0. 0.
time (sec) N/A 0.22 0.787 0.03 0. 0. 0. 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 435 435 433 2062 0 0 0 0
normalized size 1 1. 1. 4.74 0. 0. 0. 0.
time (sec) N/A 0.554 3.422 0.043 0. 0. 0. 0.


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 980 980 352 1063 0 0 0 0
normalized size 1 1. 0.36 1.08 0. 0. 0. 0.
time (sec) N/A 1.113 1.567 0.032 0. 0. 0. 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 304 594 0 0 0 0
normalized size 1 1. 1.36 2.66 0. 0. 0. 0.
time (sec) N/A 0.12 1.042 0.027 0. 0. 0. 0.


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 207 285 0 0 0 0
normalized size 1 1. 0.99 1.36 0. 0. 0. 0.
time (sec) N/A 0.105 0.466 0.025 0. 0. 0. 0.


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 344 344 221 303 0 0 0 0
normalized size 1 1. 0.64 0.88 0. 0. 0. 0.
time (sec) N/A 0.222 0.619 0.026 0. 0. 0. 0.


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 539 539 418 956 0 0 0 0
normalized size 1 1. 0.78 1.77 0. 0. 0. 0.
time (sec) N/A 0.479 3.856 0.035 0. 0. 0. 0.


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 814 814 1645 4115 0 0 0 0
normalized size 1 1. 2.02 5.06 0. 0. 0. 0.
time (sec) N/A 0.958 5.942 0.058 0. 0. 0. 0.


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 242 239 204 370 0 0 0 0
normalized size 1 0.99 0.84 1.53 0. 0. 0. 0.
time (sec) N/A 0.147 0.356 0.035 0. 0. 0. 0.


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 71 120 0 0 0 0
normalized size 1 1. 0.37 0.62 0. 0. 0. 0.
time (sec) N/A 0.092 0.192 0.008 0. 0. 0. 0.


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 50 64 0 0 0 0
normalized size 1 1. 0.86 1.1 0. 0. 0. 0.
time (sec) N/A 0.022 0.173 0.013 0. 0. 0. 0.


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 122 147 0 0 0 0
normalized size 1 1. 1.01 1.21 0. 0. 0. 0.
time (sec) N/A 0.06 0.346 0.033 0. 0. 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 215 215 357 477 0 0 0 0
normalized size 1 1. 1.66 2.22 0. 0. 0. 0.
time (sec) N/A 0.145 0.378 0.033 0. 0. 0. 0.


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 134 293 0 0 0 0
normalized size 1 1. 0.45 0.98 0. 0. 0. 0.
time (sec) N/A 0.179 0.302 0.027 0. 0. 0. 0.


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 94 133 0 0 0 0
normalized size 1 1. 1.01 1.43 0. 0. 0. 0.
time (sec) N/A 0.036 0.198 0.02 0. 0. 0. 0.


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 49 53 0 0 0 0
normalized size 1 1. 1. 1.08 0. 0. 0. 0.
time (sec) N/A 0.042 0.017 0.019 0. 0. 0. 0.


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 37 35 0 0 19 0
normalized size 1 1. 1.03 0.97 0. 0. 0.53 0.
time (sec) N/A 0.025 0.042 0.026 0. 0. 5.787 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 191 1622 0 1079 0 454
normalized size 1 1. 1.69 14.35 0. 9.55 0. 4.02
time (sec) N/A 0.119 0.578 0.03 0. 13.927 0. 3.946


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 359 359 422 793 0 0 0 0
normalized size 1 1. 1.18 2.21 0. 0. 0. 0.
time (sec) N/A 0.324 2.412 0.043 0. 0. 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 381 381 401 765 0 0 0 0
normalized size 1 1. 1.05 2.01 0. 0. 0. 0.
time (sec) N/A 0.291 1.993 0.036 0. 0. 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 426 426 617 1105 0 0 0 0
normalized size 1 1. 1.45 2.59 0. 0. 0. 0.
time (sec) N/A 0.373 5.699 0.046 0. 0. 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 485 485 587 1078 0 0 0 0
normalized size 1 1. 1.21 2.22 0. 0. 0. 0.
time (sec) N/A 0.347 2.795 0.028 0. 0. 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.741 0.071 0. 0. 0. 0.


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 545 545 503 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.487 1.351 0.066 0. 0. 0. 0.


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 162 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.134 0.1 0.062 0. 0. 0. 0.


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 148 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.085 0.082 0.076 0. 0. 0. 0.


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 0.756 0.073 0. 0. 0. 0.


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 484 484 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.753 0.667 0.06 0. 0. 0. 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 319 319 148 0 0 0 0 0
normalized size 1 1. 0.46 0. 0. 0. 0. 0.
time (sec) N/A 0.467 0.099 0.069 0. 0. 0. 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.06 0.968 0.069 0. 0. 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 541 541 512 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.436 1.623 0.059 0. 0. 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.17 0.068 0. 0. 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 159 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.135 0.092 0.062 0. 0. 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 148 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.08 0.083 0.067 0. 0. 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.873 0.07 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [64] had the largest ratio of [ 0.2812 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 2 1 1. 24 0.042







2 A 2 1 1. 24 0.042







3 A 2 1 1. 24 0.042







4 A 2 1 1. 22 0.045







5 A 3 3 1. 24 0.125







6 A 3 3 1. 24 0.125







7 A 3 3 1. 24 0.125







8 A 4 4 1. 24 0.167







9 A 2 1 1. 26 0.038







10 A 2 1 1. 26 0.038







11 A 2 1 1. 24 0.042







12 A 4 3 1. 26 0.115







13 A 4 4 1. 26 0.154







14 A 4 3 1. 26 0.115







15 A 4 3 1. 26 0.115







16 A 2 1 1. 26 0.038







17 A 2 1 1. 26 0.038







18 A 2 1 1. 24 0.042







19 A 5 3 1. 26 0.115







20 A 5 4 1. 26 0.154







21 A 5 4 1. 26 0.154







22 A 5 3 1. 26 0.115







23 A 7 5 1. 30 0.167







24 A 6 5 1. 30 0.167







25 A 5 5 1. 30 0.167







26 A 5 5 1. 30 0.167







27 A 4 4 1. 30 0.133







28 A 5 5 1. 30 0.167







29 A 7 5 1. 30 0.167







30 A 6 5 1. 30 0.167







31 A 6 6 1. 30 0.2







32 A 6 5 1. 30 0.167







33 A 5 4 1. 30 0.133







34 A 6 5 1. 30 0.167







35 A 7 5 1. 30 0.167







36 A 6 5 1. 30 0.167







37 A 5 5 1. 30 0.167







38 A 4 4 1. 30 0.133







39 A 3 3 1. 30 0.1







40 A 4 4 1. 30 0.133







41 A 5 4 1. 30 0.133







42 A 7 6 1. 30 0.2







43 A 6 6 1. 30 0.2







44 A 5 5 1. 30 0.167







45 A 3 3 1. 30 0.1







46 A 4 4 1. 30 0.133







47 A 5 4 1. 30 0.133







48 A 3 3 1. 30 0.1







49 A 8 7 1. 31 0.226







50 A 8 7 1. 31 0.226







51 A 8 7 1. 32 0.219







52 A 4 4 1. 30 0.133







53 A 5 5 1. 30 0.167







54 A 6 5 1. 30 0.167







55 A 2 2 1. 87 0.023







56 A 5 5 1. 81 0.062







57 A 6 6 1. 28 0.214







58 A 14 8 1. 30 0.267







59 A 9 7 1. 30 0.233







60 A 5 5 1. 28 0.179







61 A 2 2 1. 21 0.095







62 A 5 3 1. 30 0.1







63 A 7 5 1. 30 0.167







64 A 14 9 1.28 32 0.281







65 A 7 7 1. 32 0.219







66 A 6 6 1. 32 0.188







67 A 1 1 1. 32 0.031







68 A 3 3 1. 32 0.094







69 A 6 6 1. 32 0.188







70 A 9 8 1. 32 0.25







71 A 14 9 1.19 32 0.281







72 A 7 7 1. 32 0.219







73 A 6 6 1. 32 0.188







74 A 3 3 1. 32 0.094







75 A 6 6 1. 32 0.188







76 A 9 8 1. 32 0.25







77 A 12 8 1. 32 0.25







78 A 6 6 1. 32 0.188







79 A 1 1 1. 32 0.031







80 A 3 2 1. 32 0.062







81 A 5 5 1. 32 0.156







82 A 8 7 1. 32 0.219







83 A 14 9 1. 32 0.281







84 A 3 3 1. 32 0.094







85 A 3 3 1. 32 0.094







86 A 5 5 1. 32 0.156







87 A 8 7 1. 32 0.219







88 A 11 6 1. 32 0.188







89 A 7 7 0.99 28 0.25







90 A 6 6 1. 28 0.214







91 A 1 1 1. 28 0.036







92 A 3 3 1. 28 0.107







93 A 6 6 1. 28 0.214







94 A 6 6 1. 32 0.188







95 A 1 1 1. 32 0.031







96 A 1 1 1. 32 0.031







97 A 3 3 1. 30 0.1







98 A 4 4 1. 28 0.143







99 A 11 9 1. 33 0.273







100 A 8 7 1. 32 0.219







101 A 11 9 1. 33 0.273







102 A 8 7 1. 32 0.219







103 A 0 0 0. 0 0.







104 A 7 7 1. 34 0.206







105 A 2 2 1. 34 0.059







106 A 2 2 1. 34 0.059







107 A 0 0 0. 0 0.







108 A 8 8 1. 34 0.235







109 A 5 5 1. 34 0.147







110 A 0 0 0. 0 0.







111 A 7 7 1. 34 0.206







112 A 0 0 0. 0 0.







113 A 2 2 1. 34 0.059







114 A 2 2 1. 34 0.059







115 A 0 0 0. 0 0.